Провкин В. А. , Гошин Г. Г. , Тычинский В. З. , Матросова А. Ю. , Николаева Е. А. «Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем» // Известия вузов. Физика 2020. №12 C.114-123
Матросова А. Ю. , Провкин В. А. «Графовые представления множеств всех достижимых реакций комбинационной схемы» // Вестник ТГУ. УВТиИ 2022. №61 C.128-138
Провкин В. А. , Матросова А. Ю. , Сухорученко К. А. , Савенкова М. М. «Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы» // Вестник ТГУ. УВТиИ 2024. №69 C.134-143
Матросова А. Ю. , Останин С. А. , Гошин Г. Г. «Построение аппроксимирующих схем в режиме троирования» // Известия вузов. Физика 2022. №4 C.150-159
Вы можете добавить статью